\hypertarget{classADFormula}{\section{A\-D\-Formula Class Reference}
\label{classADFormula}\index{A\-D\-Formula@{A\-D\-Formula}}
}
Inheritance diagram for A\-D\-Formula\-:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[height=2.000000cm]{classADFormula}
\end{center}
\end{figure}
\subsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
\hypertarget{classADFormula_a38f6414a37db523ad0aa8d162912af2d}{{\bfseries A\-D\-Formula} (\hyperlink{classAtomContFormula}{Atom\-Cont\-Formula} $\ast$cont, \hyperlink{classAtomDisFormula}{Atom\-Dis\-Formula} $\ast$dis)}\label{classADFormula_a38f6414a37db523ad0aa8d162912af2d}

\item 
\hypertarget{classADFormula_a9b4c832de720b908226fe618f1f3c4a5}{Formula\-\_\-type {\bfseries get\-Type} ()}\label{classADFormula_a9b4c832de720b908226fe618f1f3c4a5}

\end{DoxyCompactItemize}
\subsection*{Public Attributes}
\begin{DoxyCompactItemize}
\item 
\hypertarget{classADFormula_a1ecce42177dbf52c447e2e8aa1316848}{\hyperlink{classAtomContFormula}{Atom\-Cont\-Formula} $\ast$ {\bfseries cont\-Formula}}\label{classADFormula_a1ecce42177dbf52c447e2e8aa1316848}

\item 
\hypertarget{classADFormula_a5d468953085cf2fb857eca9851c3e107}{\hyperlink{classAtomDisFormula}{Atom\-Dis\-Formula} $\ast$ {\bfseries dis\-Formula}}\label{classADFormula_a5d468953085cf2fb857eca9851c3e107}

\end{DoxyCompactItemize}


The documentation for this class was generated from the following file\-:\begin{DoxyCompactItemize}
\item 
model/Formula.\-h\end{DoxyCompactItemize}
